<html>
<head><meta charset="utf-8"><title>Congratulationa to Ralf Jung for getting his PhD 🥳 · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/Congratulationa.20to.20Ralf.20Jung.20for.20getting.20his.20PhD.20.F0.9F.A5.B3.html">Congratulationa to Ralf Jung for getting his PhD 🥳</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="209182418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/Congratulationa%20to%20Ralf%20Jung%20for%20getting%20his%20PhD%20%F0%9F%A5%B3/near/209182418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Elichai Turkel <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/Congratulationa.20to.20Ralf.20Jung.20for.20getting.20his.20PhD.20.F0.9F.A5.B3.html#209182418">(Sep 05 2020 at 15:11)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span>  Congratulations for getting your PhD! <br>
I hope it won't mean you'll stop contributing to Rust and working on stacked borrows <span aria-label="stuck out tongue wink" class="emoji emoji-1f61c" role="img" title="stuck out tongue wink">:stuck_out_tongue_wink:</span></p>
<p><a href="https://twitter.com/HerrDreyer/status/1302196178302439424?s=19">https://twitter.com/HerrDreyer/status/1302196178302439424?s=19</a></p>
<div class="inline-preview-twitter"><div class="twitter-tweet"><a href="https://twitter.com/HerrDreyer/status/1302196178302439424?s=19"><img class="twitter-avatar" src="https://pbs.twimg.com/profile_images/542124479367757827/OEVacVvs_normal.jpeg"></a><p>My student Ralf Jung is now a PhD! Here's the final version of his thesis, which encompasses fantastic work on Iris, RustBelt, and Stacked Borrows, and with a greatly expanded presentation of the RustBelt verification and some aspects of Iris. I love it. <a href="https://t.co/CwEoPAtWax">https://people.mpi-sws.org/~jung/phd/thesis-screen.pdf</a></p><span>- Derek Dreyer (@HerrDreyer)</span></div></div>



<a name="209182747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/Congratulationa%20to%20Ralf%20Jung%20for%20getting%20his%20PhD%20%F0%9F%A5%B3/near/209182747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/Congratulationa.20to.20Ralf.20Jung.20for.20getting.20his.20PhD.20.F0.9F.A5.B3.html#209182747">(Sep 05 2020 at 15:19)</a>:</h4>
<p><span class="user-mention" data-user-id="249222">@Elichai Turkel</span> thanks :)</p>
<blockquote>
<p>I hope it won't mean you'll stop contributing to Rust and working on stacked borrows <span aria-label="stuck out tongue" class="emoji emoji-1f61b" role="img" title="stuck out tongue">:stuck_out_tongue:</span> </p>
</blockquote>
<p>I hope so, too ;)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>